Open Kernel Labs - PDFSEARCH.IO - Document Search Engine

Open Kernel Labs
Results: 69

#	Item
61	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
62	ISSUE 27 \| SEPTEMBER[removed]NICTANews INSIDE Board Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:45 Gernot Heiser Higher education Open Kernel Labs L4 microkernel family Education University of New South Wales University of Melbourne Australian National University University of Sydney Association of Commonwealth Universities NICTA Academia
63	AI @ NICTA Nick Barnes, Peter Baumgartner, Tiberio Caetano, Hugh Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter Stuckey, Sylvie Thiebaux, Pascal Van Hentenryck, Toby Walsh Abstract NICTA is Australi Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-05-20 09:25:04 Mathematics NICTA Formal methods Constraint programming Operations research Solver Formal verification Open Kernel Labs Isabelle Applied mathematics Theoretical computer science Logic in computer science
64	High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures Carl van Schaik† and Gernot Heiser†‡§ † Open Kernel Labs Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:47 Computer memory Central processing unit Memory management Concurrent computing Translation lookaside buffer L4 microkernel family CPU cache Page table Gernot Heiser Virtual memory Computing Computer architecture
65	Broadband and the Digital Economy Infrastructure Transport and Logistics Add to Reading List Source URL: s3-ap-southeast-2.amazonaws.com Language: English - Date: 2014-11-21 01:42:52 Computing Information and communication technologies in education NICTA Technology Open Kernel Labs
66	Wealth Creation and Impact Measurement Tzameret H. Rubin NICTA Copyright 2010 Add to Reading List Source URL: is.jrc.ec.europa.eu Language: English - Date: 2013-09-27 09:38:24 NICTA Education L4 microkernel family Open Kernel Labs Griffith University University of New South Wales Australian National University University of Sydney University of Melbourne Association of Commonwealth Universities Higher education Academia
67	Media Release 4 November 2010 Software from NICTA spin-out company Open Kernel Labs secures one billion mobile handsets NICTA spin-out company and leading mobile virtualisation provider Open Kernel Labs has Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2010-11-04 00:23:43 Software Smartphones Open Kernel Labs L4 microkernel family Gernot Heiser NICTA Griffith University Mobile phone Android System software Technology Embedded systems
68	NSFv4 Test Project Tony Reix – Bull SAS – [removed]Bryce Harrington (OSDL) – J. Bruce Fields (CITI) Olaf Kirch (Novell) – Steve Dickson (Red Hat) Add to Reading List Source URL: nfsv4.bullopensource.org Language: English - Date: 2006-07-26 11:01:14 Network File System Computing platforms Linux Open Source Development Labs Linux kernel Computing Software System software
69	From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone and Gernot Heiser Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 L4 microkernel family Microkernel Gernot Heiser Kernel Monolithic kernels EROS Open Kernel Labs Capability-based security Architecture of Windows NT Computer architecture System software Software

UPDATE